Optimal. Leaf size=325 \[ \frac {x \sqrt {1-x^2}}{2 c}+\frac {(2 b+c) \sin ^{-1}(x)}{2 c^2}-\frac {\left (b^2-a c+b c-\frac {b^3-3 a b c+b^2 c-2 a c^2}{\sqrt {b^2-4 a c}}\right ) \tan ^{-1}\left (\frac {\sqrt {b+2 c-\sqrt {b^2-4 a c}} x}{\sqrt {b-\sqrt {b^2-4 a c}} \sqrt {1-x^2}}\right )}{c^2 \sqrt {b-\sqrt {b^2-4 a c}} \sqrt {b+2 c-\sqrt {b^2-4 a c}}}-\frac {\left (b^2-a c+b c+\frac {b^3-3 a b c+b^2 c-2 a c^2}{\sqrt {b^2-4 a c}}\right ) \tan ^{-1}\left (\frac {\sqrt {b+2 c+\sqrt {b^2-4 a c}} x}{\sqrt {b+\sqrt {b^2-4 a c}} \sqrt {1-x^2}}\right )}{c^2 \sqrt {b+\sqrt {b^2-4 a c}} \sqrt {b+2 c+\sqrt {b^2-4 a c}}} \]
[Out]
________________________________________________________________________________________
Rubi [A]
time = 3.68, antiderivative size = 325, normalized size of antiderivative = 1.00, number of steps
used = 9, number of rules used = 6, integrand size = 29, \(\frac {\text {number of rules}}{\text {integrand size}}\) = 0.207, Rules used = {1305, 396, 222,
1706, 385, 211} \begin {gather*} -\frac {\left (-\frac {-3 a b c-2 a c^2+b^3+b^2 c}{\sqrt {b^2-4 a c}}-a c+b^2+b c\right ) \text {ArcTan}\left (\frac {x \sqrt {-\sqrt {b^2-4 a c}+b+2 c}}{\sqrt {1-x^2} \sqrt {b-\sqrt {b^2-4 a c}}}\right )}{c^2 \sqrt {b-\sqrt {b^2-4 a c}} \sqrt {-\sqrt {b^2-4 a c}+b+2 c}}-\frac {\left (\frac {-3 a b c-2 a c^2+b^3+b^2 c}{\sqrt {b^2-4 a c}}-a c+b^2+b c\right ) \text {ArcTan}\left (\frac {x \sqrt {\sqrt {b^2-4 a c}+b+2 c}}{\sqrt {1-x^2} \sqrt {\sqrt {b^2-4 a c}+b}}\right )}{c^2 \sqrt {\sqrt {b^2-4 a c}+b} \sqrt {\sqrt {b^2-4 a c}+b+2 c}}+\frac {\text {ArcSin}(x) (2 b+c)}{2 c^2}+\frac {\sqrt {1-x^2} x}{2 c} \end {gather*}
Antiderivative was successfully verified.
[In]
[Out]
Rule 211
Rule 222
Rule 385
Rule 396
Rule 1305
Rule 1706
Rubi steps
\begin {align*} \int \frac {x^4 \sqrt {1-x^2}}{a+b x^2+c x^4} \, dx &=\frac {\int \frac {b+c-c x^2}{\sqrt {1-x^2}} \, dx}{c^2}-\frac {\int \frac {a (b+c)+\left (b^2-a c+b c\right ) x^2}{\sqrt {1-x^2} \left (a+b x^2+c x^4\right )} \, dx}{c^2}\\ &=\frac {x \sqrt {1-x^2}}{2 c}-\frac {\int \left (\frac {b^2-a c+b c+\frac {-b^3+3 a b c-b^2 c+2 a c^2}{\sqrt {b^2-4 a c}}}{\sqrt {1-x^2} \left (b-\sqrt {b^2-4 a c}+2 c x^2\right )}+\frac {b^2-a c+b c-\frac {-b^3+3 a b c-b^2 c+2 a c^2}{\sqrt {b^2-4 a c}}}{\sqrt {1-x^2} \left (b+\sqrt {b^2-4 a c}+2 c x^2\right )}\right ) \, dx}{c^2}+\frac {(2 b+c) \int \frac {1}{\sqrt {1-x^2}} \, dx}{2 c^2}\\ &=\frac {x \sqrt {1-x^2}}{2 c}+\frac {(2 b+c) \sin ^{-1}(x)}{2 c^2}-\frac {\left (b^2-a c+b c-\frac {b^3-3 a b c+b^2 c-2 a c^2}{\sqrt {b^2-4 a c}}\right ) \int \frac {1}{\sqrt {1-x^2} \left (b-\sqrt {b^2-4 a c}+2 c x^2\right )} \, dx}{c^2}-\frac {\left (b^2-a c+b c+\frac {b^3-3 a b c+b^2 c-2 a c^2}{\sqrt {b^2-4 a c}}\right ) \int \frac {1}{\sqrt {1-x^2} \left (b+\sqrt {b^2-4 a c}+2 c x^2\right )} \, dx}{c^2}\\ &=\frac {x \sqrt {1-x^2}}{2 c}+\frac {(2 b+c) \sin ^{-1}(x)}{2 c^2}-\frac {\left (b^2-a c+b c-\frac {b^3-3 a b c+b^2 c-2 a c^2}{\sqrt {b^2-4 a c}}\right ) \text {Subst}\left (\int \frac {1}{b-\sqrt {b^2-4 a c}-\left (-b-2 c+\sqrt {b^2-4 a c}\right ) x^2} \, dx,x,\frac {x}{\sqrt {1-x^2}}\right )}{c^2}-\frac {\left (b^2-a c+b c+\frac {b^3-3 a b c+b^2 c-2 a c^2}{\sqrt {b^2-4 a c}}\right ) \text {Subst}\left (\int \frac {1}{b+\sqrt {b^2-4 a c}-\left (-b-2 c-\sqrt {b^2-4 a c}\right ) x^2} \, dx,x,\frac {x}{\sqrt {1-x^2}}\right )}{c^2}\\ &=\frac {x \sqrt {1-x^2}}{2 c}+\frac {(2 b+c) \sin ^{-1}(x)}{2 c^2}-\frac {\left (b^2-a c+b c-\frac {b^3-3 a b c+b^2 c-2 a c^2}{\sqrt {b^2-4 a c}}\right ) \tan ^{-1}\left (\frac {\sqrt {b+2 c-\sqrt {b^2-4 a c}} x}{\sqrt {b-\sqrt {b^2-4 a c}} \sqrt {1-x^2}}\right )}{c^2 \sqrt {b-\sqrt {b^2-4 a c}} \sqrt {b+2 c-\sqrt {b^2-4 a c}}}-\frac {\left (b^2-a c+b c+\frac {b^3-3 a b c+b^2 c-2 a c^2}{\sqrt {b^2-4 a c}}\right ) \tan ^{-1}\left (\frac {\sqrt {b+2 c+\sqrt {b^2-4 a c}} x}{\sqrt {b+\sqrt {b^2-4 a c}} \sqrt {1-x^2}}\right )}{c^2 \sqrt {b+\sqrt {b^2-4 a c}} \sqrt {b+2 c+\sqrt {b^2-4 a c}}}\\ \end {align*}
________________________________________________________________________________________
Mathematica [C] Result contains higher order function than in optimal. Order 9 vs. order 3 in
optimal.
time = 0.64, size = 588, normalized size = 1.81 \begin {gather*} \frac {2 c x \sqrt {1-x^2}+4 (2 b+c) \tan ^{-1}\left (\frac {x}{-1+\sqrt {1-x^2}}\right )+\text {RootSum}\left [a+4 a \text {$\#$1}^2+4 b \text {$\#$1}^2+6 a \text {$\#$1}^4+8 b \text {$\#$1}^4+16 c \text {$\#$1}^4+4 a \text {$\#$1}^6+4 b \text {$\#$1}^6+a \text {$\#$1}^8\&,\frac {-a b \log (x)-a c \log (x)+a b \log \left (-1+\sqrt {1-x^2}-x \text {$\#$1}\right )+a c \log \left (-1+\sqrt {1-x^2}-x \text {$\#$1}\right )-3 a b \log (x) \text {$\#$1}^2-4 b^2 \log (x) \text {$\#$1}^2+a c \log (x) \text {$\#$1}^2-4 b c \log (x) \text {$\#$1}^2+3 a b \log \left (-1+\sqrt {1-x^2}-x \text {$\#$1}\right ) \text {$\#$1}^2+4 b^2 \log \left (-1+\sqrt {1-x^2}-x \text {$\#$1}\right ) \text {$\#$1}^2-a c \log \left (-1+\sqrt {1-x^2}-x \text {$\#$1}\right ) \text {$\#$1}^2+4 b c \log \left (-1+\sqrt {1-x^2}-x \text {$\#$1}\right ) \text {$\#$1}^2-3 a b \log (x) \text {$\#$1}^4-4 b^2 \log (x) \text {$\#$1}^4+a c \log (x) \text {$\#$1}^4-4 b c \log (x) \text {$\#$1}^4+3 a b \log \left (-1+\sqrt {1-x^2}-x \text {$\#$1}\right ) \text {$\#$1}^4+4 b^2 \log \left (-1+\sqrt {1-x^2}-x \text {$\#$1}\right ) \text {$\#$1}^4-a c \log \left (-1+\sqrt {1-x^2}-x \text {$\#$1}\right ) \text {$\#$1}^4+4 b c \log \left (-1+\sqrt {1-x^2}-x \text {$\#$1}\right ) \text {$\#$1}^4-a b \log (x) \text {$\#$1}^6-a c \log (x) \text {$\#$1}^6+a b \log \left (-1+\sqrt {1-x^2}-x \text {$\#$1}\right ) \text {$\#$1}^6+a c \log \left (-1+\sqrt {1-x^2}-x \text {$\#$1}\right ) \text {$\#$1}^6}{a \text {$\#$1}+b \text {$\#$1}+3 a \text {$\#$1}^3+4 b \text {$\#$1}^3+8 c \text {$\#$1}^3+3 a \text {$\#$1}^5+3 b \text {$\#$1}^5+a \text {$\#$1}^7}\&\right ]}{4 c^2} \end {gather*}
Antiderivative was successfully verified.
[In]
[Out]
________________________________________________________________________________________
Maple [C] Result contains higher order function than in optimal. Order 9 vs. order
3.
time = 0.15, size = 226, normalized size = 0.70
method | result | size |
risch | \(-\frac {x \left (x^{2}-1\right )}{2 c \sqrt {-x^{2}+1}}+\frac {\arcsin \left (x \right ) b}{c^{2}}+\frac {\arcsin \left (x \right )}{2 c}+\frac {\munderset {\textit {\_R} =\RootOf \left (a \,\textit {\_Z}^{8}+\left (4 a +4 b \right ) \textit {\_Z}^{6}+\left (6 a +8 b +16 c \right ) \textit {\_Z}^{4}+\left (4 a +4 b \right ) \textit {\_Z}^{2}+a \right )}{\sum }\frac {\left (a \left (b +c \right ) \textit {\_R}^{6}+\left (3 a b -a c +4 b^{2}+4 b c \right ) \textit {\_R}^{4}+\left (3 a b -a c +4 b^{2}+4 b c \right ) \textit {\_R}^{2}+a b +a c \right ) \ln \left (\frac {\sqrt {-x^{2}+1}-1}{x}-\textit {\_R} \right )}{\textit {\_R}^{7} a +3 \textit {\_R}^{5} a +3 \textit {\_R}^{5} b +3 \textit {\_R}^{3} a +4 \textit {\_R}^{3} b +8 c \,\textit {\_R}^{3}+\textit {\_R} a +\textit {\_R} b}}{4 c^{2}}\) | \(212\) |
default | \(\frac {\frac {x \sqrt {-x^{2}+1}}{2}+\frac {\arcsin \left (x \right )}{2}}{c}+\frac {-\frac {2 b \arctan \left (\frac {\sqrt {-x^{2}+1}-1}{x}\right )}{c}+\frac {\munderset {\textit {\_R} =\RootOf \left (a \,\textit {\_Z}^{8}+\left (4 a +4 b \right ) \textit {\_Z}^{6}+\left (6 a +8 b +16 c \right ) \textit {\_Z}^{4}+\left (4 a +4 b \right ) \textit {\_Z}^{2}+a \right )}{\sum }\frac {\left (a \left (b +c \right ) \textit {\_R}^{6}+\left (3 a b -a c +4 b^{2}+4 b c \right ) \textit {\_R}^{4}+\left (3 a b -a c +4 b^{2}+4 b c \right ) \textit {\_R}^{2}+a b +a c \right ) \ln \left (\frac {\sqrt {-x^{2}+1}-1}{x}-\textit {\_R} \right )}{\textit {\_R}^{7} a +3 \textit {\_R}^{5} a +3 \textit {\_R}^{5} b +3 \textit {\_R}^{3} a +4 \textit {\_R}^{3} b +8 c \,\textit {\_R}^{3}+\textit {\_R} a +\textit {\_R} b}}{4 c}}{c}\) | \(226\) |
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Maxima [F]
time = 0.00, size = 0, normalized size = 0.00 \begin {gather*} \text {Failed to integrate} \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Fricas [B] Leaf count of result is larger than twice the leaf count of optimal. 2860 vs.
\(2 (279) = 558\).
time = 1.34, size = 2860, normalized size = 8.80 \begin {gather*} \text {Too large to display} \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Sympy [F]
time = 0.00, size = 0, normalized size = 0.00 \begin {gather*} \int \frac {x^{4} \sqrt {- \left (x - 1\right ) \left (x + 1\right )}}{a + b x^{2} + c x^{4}}\, dx \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Giac [B] Leaf count of result is larger than twice the leaf count of optimal. 1709 vs.
\(2 (279) = 558\).
time = 7.54, size = 1709, normalized size = 5.26 \begin {gather*} \frac {{\left (3 \, \sqrt {2} \sqrt {2 \, a^{2} + a b + \sqrt {b^{2} - 4 \, a c} a} a^{2} b^{3} + 2 \, \sqrt {2} \sqrt {2 \, a^{2} + a b + \sqrt {b^{2} - 4 \, a c} a} a b^{4} - 2 \, a^{2} b^{4} - \sqrt {2} \sqrt {2 \, a^{2} + a b + \sqrt {b^{2} - 4 \, a c} a} b^{5} + 2 \, a b^{5} - 12 \, \sqrt {2} \sqrt {2 \, a^{2} + a b + \sqrt {b^{2} - 4 \, a c} a} a^{3} b c - 8 \, \sqrt {2} \sqrt {2 \, a^{2} + a b + \sqrt {b^{2} - 4 \, a c} a} a^{2} b^{2} c + 12 \, a^{3} b^{2} c + 8 \, \sqrt {2} \sqrt {2 \, a^{2} + a b + \sqrt {b^{2} - 4 \, a c} a} a b^{3} c - 16 \, a^{2} b^{3} c - 16 \, a^{4} c^{2} - 16 \, \sqrt {2} \sqrt {2 \, a^{2} + a b + \sqrt {b^{2} - 4 \, a c} a} a^{2} b c^{2} + 32 \, a^{3} b c^{2} - 3 \, \sqrt {2} \sqrt {2 \, a^{2} + a b + \sqrt {b^{2} - 4 \, a c} a} \sqrt {b^{2} - 4 \, a c} a^{2} b^{2} - 2 \, \sqrt {2} \sqrt {2 \, a^{2} + a b + \sqrt {b^{2} - 4 \, a c} a} \sqrt {b^{2} - 4 \, a c} a b^{3} + \sqrt {2} \sqrt {2 \, a^{2} + a b + \sqrt {b^{2} - 4 \, a c} a} \sqrt {b^{2} - 4 \, a c} b^{4} + 6 \, \sqrt {2} \sqrt {2 \, a^{2} + a b + \sqrt {b^{2} - 4 \, a c} a} \sqrt {b^{2} - 4 \, a c} a^{3} c + 4 \, \sqrt {2} \sqrt {2 \, a^{2} + a b + \sqrt {b^{2} - 4 \, a c} a} \sqrt {b^{2} - 4 \, a c} a^{2} b c - 6 \, \sqrt {2} \sqrt {2 \, a^{2} + a b + \sqrt {b^{2} - 4 \, a c} a} \sqrt {b^{2} - 4 \, a c} a b^{2} c + 8 \, \sqrt {2} \sqrt {2 \, a^{2} + a b + \sqrt {b^{2} - 4 \, a c} a} \sqrt {b^{2} - 4 \, a c} a^{2} c^{2} + 2 \, {\left (b^{2} - 4 \, a c\right )} a^{2} b^{2} - 2 \, {\left (b^{2} - 4 \, a c\right )} a b^{3} - 4 \, {\left (b^{2} - 4 \, a c\right )} a^{3} c + 8 \, {\left (b^{2} - 4 \, a c\right )} a^{2} b c\right )} {\left | a \right |} \arctan \left (-\frac {\sqrt {2} {\left (\frac {x}{\sqrt {-x^{2} + 1} - 1} - \frac {\sqrt {-x^{2} + 1} - 1}{x}\right )}}{2 \, \sqrt {\frac {2 \, a c^{2} + b c^{2} + \sqrt {-4 \, {\left (a c^{2} + b c^{2} + c^{3}\right )} a c^{2} + {\left (2 \, a c^{2} + b c^{2}\right )}^{2}}}{a c^{2}}}}\right )}{4 \, {\left (3 \, a^{4} b^{2} c^{2} + 2 \, a^{3} b^{3} c^{2} - a^{2} b^{4} c^{2} - 12 \, a^{5} c^{3} - 8 \, a^{4} b c^{3} + 8 \, a^{3} b^{2} c^{3} - 16 \, a^{4} c^{4}\right )}} + \frac {{\left (3 \, \sqrt {2} \sqrt {2 \, a^{2} + a b - \sqrt {b^{2} - 4 \, a c} a} a^{2} b^{3} + 2 \, \sqrt {2} \sqrt {2 \, a^{2} + a b - \sqrt {b^{2} - 4 \, a c} a} a b^{4} - 2 \, a^{2} b^{4} - \sqrt {2} \sqrt {2 \, a^{2} + a b - \sqrt {b^{2} - 4 \, a c} a} b^{5} - 2 \, a b^{5} - 12 \, \sqrt {2} \sqrt {2 \, a^{2} + a b - \sqrt {b^{2} - 4 \, a c} a} a^{3} b c - 8 \, \sqrt {2} \sqrt {2 \, a^{2} + a b - \sqrt {b^{2} - 4 \, a c} a} a^{2} b^{2} c + 12 \, a^{3} b^{2} c + 8 \, \sqrt {2} \sqrt {2 \, a^{2} + a b - \sqrt {b^{2} - 4 \, a c} a} a b^{3} c + 16 \, a^{2} b^{3} c - 16 \, a^{4} c^{2} - 16 \, \sqrt {2} \sqrt {2 \, a^{2} + a b - \sqrt {b^{2} - 4 \, a c} a} a^{2} b c^{2} - 32 \, a^{3} b c^{2} - 3 \, \sqrt {2} \sqrt {2 \, a^{2} + a b - \sqrt {b^{2} - 4 \, a c} a} \sqrt {b^{2} - 4 \, a c} a^{2} b^{2} - 2 \, \sqrt {2} \sqrt {2 \, a^{2} + a b - \sqrt {b^{2} - 4 \, a c} a} \sqrt {b^{2} - 4 \, a c} a b^{3} + \sqrt {2} \sqrt {2 \, a^{2} + a b - \sqrt {b^{2} - 4 \, a c} a} \sqrt {b^{2} - 4 \, a c} b^{4} + 6 \, \sqrt {2} \sqrt {2 \, a^{2} + a b - \sqrt {b^{2} - 4 \, a c} a} \sqrt {b^{2} - 4 \, a c} a^{3} c + 4 \, \sqrt {2} \sqrt {2 \, a^{2} + a b - \sqrt {b^{2} - 4 \, a c} a} \sqrt {b^{2} - 4 \, a c} a^{2} b c - 6 \, \sqrt {2} \sqrt {2 \, a^{2} + a b - \sqrt {b^{2} - 4 \, a c} a} \sqrt {b^{2} - 4 \, a c} a b^{2} c + 8 \, \sqrt {2} \sqrt {2 \, a^{2} + a b - \sqrt {b^{2} - 4 \, a c} a} \sqrt {b^{2} - 4 \, a c} a^{2} c^{2} + 2 \, {\left (b^{2} - 4 \, a c\right )} a^{2} b^{2} + 2 \, {\left (b^{2} - 4 \, a c\right )} a b^{3} - 4 \, {\left (b^{2} - 4 \, a c\right )} a^{3} c - 8 \, {\left (b^{2} - 4 \, a c\right )} a^{2} b c\right )} {\left | a \right |} \arctan \left (-\frac {\sqrt {2} {\left (\frac {x}{\sqrt {-x^{2} + 1} - 1} - \frac {\sqrt {-x^{2} + 1} - 1}{x}\right )}}{2 \, \sqrt {\frac {2 \, a c^{2} + b c^{2} - \sqrt {-4 \, {\left (a c^{2} + b c^{2} + c^{3}\right )} a c^{2} + {\left (2 \, a c^{2} + b c^{2}\right )}^{2}}}{a c^{2}}}}\right )}{4 \, {\left (3 \, a^{4} b^{2} c^{2} + 2 \, a^{3} b^{3} c^{2} - a^{2} b^{4} c^{2} - 12 \, a^{5} c^{3} - 8 \, a^{4} b c^{3} + 8 \, a^{3} b^{2} c^{3} - 16 \, a^{4} c^{4}\right )}} + \frac {\sqrt {-x^{2} + 1} x}{2 \, c} + \frac {{\left (\pi \mathrm {sgn}\left (x\right ) + 2 \, \arctan \left (-\frac {x {\left (\frac {{\left (\sqrt {-x^{2} + 1} - 1\right )}^{2}}{x^{2}} - 1\right )}}{2 \, {\left (\sqrt {-x^{2} + 1} - 1\right )}}\right )\right )} {\left (2 \, b + c\right )}}{4 \, c^{2}} \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Mupad [B]
time = 1.30, size = 1024, normalized size = 3.15 \begin {gather*} \mathrm {asin}\left (x\right )\,\left (\frac {\frac {b}{c}+1}{c}-\frac {1}{2\,c}\right )+\frac {x\,\sqrt {1-x^2}}{2\,c}-\frac {\ln \left (\frac {\frac {\left (x\,\sqrt {-\frac {b-\sqrt {b^2-4\,a\,c}}{2\,c}}-1\right )\,1{}\mathrm {i}}{\sqrt {\frac {b-\sqrt {b^2-4\,a\,c}}{2\,c}+1}}-\sqrt {1-x^2}\,1{}\mathrm {i}}{x-\sqrt {-\frac {b-\sqrt {b^2-4\,a\,c}}{2\,c}}}\right )\,\left (b^2\,{\left (-\frac {b-\sqrt {b^2-4\,a\,c}}{2\,c}\right )}^{3/2}+a\,b\,\sqrt {-\frac {b-\sqrt {b^2-4\,a\,c}}{2\,c}}+2\,a\,c\,\sqrt {-\frac {b-\sqrt {b^2-4\,a\,c}}{2\,c}}-2\,a\,c\,{\left (-\frac {b-\sqrt {b^2-4\,a\,c}}{2\,c}\right )}^{3/2}+b\,c\,{\left (-\frac {b-\sqrt {b^2-4\,a\,c}}{2\,c}\right )}^{3/2}\right )}{2\,c\,\sqrt {\frac {b-\sqrt {b^2-4\,a\,c}}{2\,c}+1}\,\left (4\,a\,c-b^2\right )}+\frac {\ln \left (\frac {\frac {\left (x\,\sqrt {-\frac {b+\sqrt {b^2-4\,a\,c}}{2\,c}}+1\right )\,1{}\mathrm {i}}{\sqrt {\frac {b+\sqrt {b^2-4\,a\,c}}{2\,c}+1}}+\sqrt {1-x^2}\,1{}\mathrm {i}}{x+\sqrt {-\frac {b+\sqrt {b^2-4\,a\,c}}{2\,c}}}\right )\,\left (b^2\,{\left (-\frac {b+\sqrt {b^2-4\,a\,c}}{2\,c}\right )}^{3/2}+a\,b\,\sqrt {-\frac {b+\sqrt {b^2-4\,a\,c}}{2\,c}}+2\,a\,c\,\sqrt {-\frac {b+\sqrt {b^2-4\,a\,c}}{2\,c}}-2\,a\,c\,{\left (-\frac {b+\sqrt {b^2-4\,a\,c}}{2\,c}\right )}^{3/2}+b\,c\,{\left (-\frac {b+\sqrt {b^2-4\,a\,c}}{2\,c}\right )}^{3/2}\right )}{2\,c\,\left (4\,a\,c-b^2\right )\,\sqrt {\frac {b+\sqrt {b^2-4\,a\,c}}{2\,c}+1}}+\frac {\ln \left (\frac {\frac {\left (x\,\sqrt {-\frac {b-\sqrt {b^2-4\,a\,c}}{2\,c}}+1\right )\,1{}\mathrm {i}}{\sqrt {\frac {b-\sqrt {b^2-4\,a\,c}}{2\,c}+1}}+\sqrt {1-x^2}\,1{}\mathrm {i}}{x+\sqrt {-\frac {b-\sqrt {b^2-4\,a\,c}}{2\,c}}}\right )\,\left (b^2\,{\left (-\frac {b-\sqrt {b^2-4\,a\,c}}{2\,c}\right )}^{3/2}+a\,b\,\sqrt {-\frac {b-\sqrt {b^2-4\,a\,c}}{2\,c}}+2\,a\,c\,\sqrt {-\frac {b-\sqrt {b^2-4\,a\,c}}{2\,c}}-2\,a\,c\,{\left (-\frac {b-\sqrt {b^2-4\,a\,c}}{2\,c}\right )}^{3/2}+b\,c\,{\left (-\frac {b-\sqrt {b^2-4\,a\,c}}{2\,c}\right )}^{3/2}\right )}{2\,c\,\sqrt {\frac {b-\sqrt {b^2-4\,a\,c}}{2\,c}+1}\,\left (4\,a\,c-b^2\right )}-\frac {\ln \left (\frac {\frac {\left (x\,\sqrt {-\frac {b+\sqrt {b^2-4\,a\,c}}{2\,c}}-1\right )\,1{}\mathrm {i}}{\sqrt {\frac {b+\sqrt {b^2-4\,a\,c}}{2\,c}+1}}-\sqrt {1-x^2}\,1{}\mathrm {i}}{x-\sqrt {-\frac {b+\sqrt {b^2-4\,a\,c}}{2\,c}}}\right )\,\left (b^2\,{\left (-\frac {b+\sqrt {b^2-4\,a\,c}}{2\,c}\right )}^{3/2}+a\,b\,\sqrt {-\frac {b+\sqrt {b^2-4\,a\,c}}{2\,c}}+2\,a\,c\,\sqrt {-\frac {b+\sqrt {b^2-4\,a\,c}}{2\,c}}-2\,a\,c\,{\left (-\frac {b+\sqrt {b^2-4\,a\,c}}{2\,c}\right )}^{3/2}+b\,c\,{\left (-\frac {b+\sqrt {b^2-4\,a\,c}}{2\,c}\right )}^{3/2}\right )}{2\,c\,\left (4\,a\,c-b^2\right )\,\sqrt {\frac {b+\sqrt {b^2-4\,a\,c}}{2\,c}+1}} \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________